$\forall$$P$, $Q$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}).
\\[0ex]($\forall$${\it es}$:ES\{i\}. $P$(${\it es}$) $\Rightarrow$ $Q$(${\it es}$)) $\Rightarrow$ es{-}real\{i:l\}(${\it es}$.$P$(${\it es}$)) $\Rightarrow$ es{-}real\{i:l\}(${\it es}$.$Q$(${\it es}$))